// 题目来源：https://iai.sh.cn/problem/879
#include <bits/stdc++.h>
using namespace std;
int main() {
  long long n, m;
  cin >> n >> m;
  long long ans = (n / 2) * (m / 2) * 3;

  if (n % 2 == 0 && m % 2 == 1)
    ans += n / 2;
  else if (n % 2 == 1 && m % 2 == 0)
    ans += m;
  else if (n % 2 == 1 && m % 2 == 1)
    ans += m + n / 2;

  cout << ans;

  return 0;
}